(error "simplifier failed: canceled")